Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination
نویسندگان
چکیده
منابع مشابه
Naive Modus Ponens
In his [2011], Lionel Shapiro proposes a very interesting deflationist conception of logical consequence, according to which the logical-consequence predicate applying to sentences serves as a merely expressive device allowing us to talk in a generalising way about typically non-linguistic entailment facts (just as, according to a deflationist conception of truth, the truth predicate applying t...
متن کاملترجمه و تحقیق کتاب an introduction to the history of mysticism
پایان نامه ی ارائه شده ترجمه ی کتاب «an introduction to the history of mysticism» نوشته ی مارگارت اسمیت که وی پژوهشگر، خاورشناس و محقق برجسته ی تصوف و عرفان می باشد. موضوع اساسی و مهم این کتاب عرفان در ادیان مختلف است. نویسنده در ابتدا این کلمه را ریشه یابی کرده و سپس تعریفی از آن ارائه داده و آن را در ادیان مختلف مورد بحث قرار داده است و در هر فصل کتاب به معرفی عرفای آن دین یا عصر خاصی پرداخته...
15 صفحه اولInstability, Modus Ponens and Uncertainty of Deduction
Considering the instability of nonlinear dynamics, the deductive inference rule Modus ponens itself is not enough to guarantee the validness of reasoning sequence in the real physical world, and from similar cause cannot gain similar result. Some kind of stability hypothesis should be added in order to draw meaningful conclusion. So the uncertainty of deductive inference appears the same as tha...
متن کاملAlgebraic proofs of cut elimination
Algebraic proofs of the cut-elimination theorems for classical and intuitionistic logic are presented, and are used to show how one can sometimes extract a constructive proof and an algorithm from a proof that is nonconstructive. A variation of the double-negation translation is also discussed: if φ is provable classically, then ¬(¬φ) is provable in minimal logic, where θ denotes the negation-n...
متن کاملAre Some Modus Ponens Arguments Deductively Invalid?
This article concerns the structure of defeasible arguments like: 'if Bob has red spots, Bob has the measles; Bob has red spots; therefore Bob has the measles.' The issue is whether such arguments have the form of modus ponens or not. Either way there is a problem. If they don't have the form of modus ponens, the common opinion to the contrary taught in leading logic textbooks is wrong. But if ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1997
ISSN: 0273-0979
DOI: 10.1090/s0273-0979-97-00715-5